Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
21	Ontology and Semantic Interoperability Thomas Bittner, Maureen Donnelly Institute for Formal Ontology and Medical Information Science (IFOMIS) Saarland University and Stephan Winter Add to Reading List Source URL: www.acsu.buffalo.edu - Date: 2004-12-13 11:43:02
22	Bridging The Formal Techniques and Model-Driven Engineering Divide Robert France Department of Computer Science Colorado State University Fort Collins, CO 80523 Add to Reading List Source URL: fm.csl.sri.com - Date: 2010-10-31 07:09:54
23	ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵｃｏｓｔ＠ＰＵＵＯＱＵｄｅｃｉｓｉｏｎｓｵ｢ｪ･｣ｴＺ＠ Add to Reading List Source URL: w3.cost.eu Language: English - Date: 2015-11-12 17:02:31 Software engineering Software Type theory Programming language theory Proof assistants Functional languages Formal methods Logic in computer science Formal verification Dependent type Agda Coq
24	Issues Concerning AI Transparency Add to Reading List Source URL: intelligence.org Language: English - Date: 2016-05-31 11:21:15 Cybernetics Systems science Academia Technology Artificial intelligence Computational neuroscience Formal sciences Deep learning Expert system User
25	Aydin M o hse n i Contact Information address Department of Logic and Philosophy of Science Add to Reading List Source URL: aydinmohseni.com Language: English - Date: 2015-09-20 14:52:00 Formal sciences Logic Logic in computer science Mathematical logic Non-classical logic Philosophy Minneapolis College of Art and Design Mathematics Intuitionistic logic
26	Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA Add to Reading List Source URL: peek.uwplse.org Language: English - Date: 2016-08-08 16:17:02 Computing Software engineering Software Compiler optimizations Programming language implementation Compiler construction Formal methods Logic in computer science CompCert Low-level programming language Peephole optimization Formal verification
27	24. Theorietag „Automaten und Formale Sprachen“ Caputh, 23. – 25. September 2014 Henning Bordihn, Bianca Truthe (Hrsg.) Add to Reading List Source URL: fg-afs.gi.de Language: English - Date: 2015-10-19 16:22:16 Formal languages Grammar Language Cognitive science Formal grammar Context-sensitive grammar Tree-adjoining grammar Context-free grammar Regular tree grammar Tree automaton Regular language Graph rewriting
28	In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract Add to Reading List Source URL: www2.lingfil.uu.se Language: English - Date: 2014-10-16 02:36:17 Logic Mathematical logic Theoretical computer science Natural language processing Formal methods Computability theory Artificial intelligence Decidability First-order logic Natural language understanding Natural language user interface Entityrelationship model
29	OSRSRNL Formal Letterhead Add to Reading List Source URL: sro.srs.gov Language: English - Date: 2016-06-21 16:51:56 South Carolina United States Department of Energy national laboratories Atomic tourism Science and technology in the United States Nuclear technology Nuclear history of the United States Bechtel Savannah River Site Savannah River National Laboratory Savannah River Ecology Laboratory SRS Aiken South Carolina

UPDATE